A Speci cation Language for Uncertain Knowledge Models
نویسندگان
چکیده
We extend the language (ML), which was designed to describe models of expertise in a formal way with an explicit model of uncertainty. Doing this we follow a framework for modeling uncertain expertise which has been presented elsewhere. We review the language (ML)2and the framework for uncertain expertise. Finally we present the language FLUE (Formal Language for Uncertain Expertise) which is the result of extending the syntax of (ML)with concepts to describe uncertain parts of a model of expertise. We end with a brief discussion of bene ts and open problems. Topics. Languages and Frameworks for Knowledge and Knowledge Modeling, Fundamental Views on Knowledge (i.e. Handling of Uncertain Knowledge)
منابع مشابه
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse
Our research goal is to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existent program can be altered to meet the given speci cation change using the program deriving process from the speci cation. In this paper, we consider what kinds of kno...
متن کاملTFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems
TFL the Task Formal Language has been developed for integrating the static and dynamic aspects of Knowledge Based Systems This paper focuses on the formal speci cation of dynamic behaviour Although fundamental in Knowledge Based System the strategic reasoning was rather neglected until now by the existing formal speci cations Most languages were generally more focused on the domain and problem ...
متن کاملRepresenting COBOL in Prolog - towards Program Comprehension and Reengineering
This paper sets out to investigate how COBOL programs can be interpreted using Prolog. For this purpose, we examine how an executable logic speci cation can be obtained, which is semantically equivalent to the original source. We de ne a speci cation language COPRA as a restricted subset of Prolog and show how various imperative constructs, such as GOTOs and subroutine calls, can be handled in ...
متن کاملFormal Speci cation and Veri cation of Knowledge and its Application
Software must become more reliable. It is widely accepted that, if correctly applied, formal methods can improve the reliability of programs. Unfortunately, formal methods have yet little impact on the practice. The aim of this work is to investigate how methods, tools, and results of knowledge engineering can be applied in speci cation engineering. We investigate the relationship between knowl...
متن کاملTowards a Theory of Elaboration Tolerance: Logic Programming Approach
This paper is an attempt at mathematical investigation of software development process in the context of declarative logic programming. We introduce notions of speci cation and speci cation constructor which are developed from natural language description of a problem. Generalizations of logic programs, called lp-functions are introduced to represent these speci cations. We argue that the proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999